theorem6-2

To manipulate this construction, download Cabri II Plus plug-in.